J. Claude Evans, Strategies of Deconstruction

Martin J. Evans - Nobel Lecture

A Rational Deconstruction of Landin's J Operator

Landin’s J operator was the first control operator for functional languages. It was specified with an extension of the SECD machine, which was the first abstract machine for functional languages. We present a family of compositional evaluation functions corresponding to this extension of the SECD machine, using a series of elementary transformations (transformation into continuation-passing sty...

the effect of explicit teaching of metacognitive vocabulary learning strategies on recall and retention of idioms

چکیده ندارد.

Claude Cachera

our synthetic ape C-il (46-58) gave a negative response when tested with purified native apolipoprotein C-fl. Double iminunodiffusion (Ouchterlony technique) of antibodies against our synthetic ape E (141-155) gave a positive immunoprecipitation line with Purified apolipoprotein E, which showed a partial identity with those obtained with polyclonal antibodies raised against the native protein. ...

A Rational Deconstruction of Landin's SECD Machine with the J Operator

Landin’s SECD machine was the first abstract machine for applicative expressions, i.e., functional programs. Landin’s J operator was the first control operator for functional languages, and was specified by an extension of the SECD machine. We present a family of evaluation functions corresponding to this extension of the SECD machine, using a series of elementary transformations (transformatio...